PauLieExploring Lie algebraic properties of quantum systemsproject dynamical Lie algebra MBQC Hamiltonian simulation graph theory